\{$x$:$s$$\mid$ $Q$($x$) \} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$mk\_dset(\{$x$:$\mid$$s$$\parallel$ $Q$($x$)\} , =$_{b}$$s$)